Formal proof - PDFSEARCH.IO - Document Search Engine

Formal proof
Results: 365

#	Item
321	On Formally Undecidable Propositions of Principia Mathematica Add to Reading List Source URL: jacqkrol.x10.mx Language: English - Date: 2013-09-21 05:15:44 Principia Mathematica Axiom On Formally Undecidable Propositions of Principia Mathematica and Related Systems Kurt Gödel Theorem Rule of inference Peano axioms Metamathematics Formal proof Logic Mathematics Mathematical logic
322	BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 37, Number 4, Pages 407–436 Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 13:32:43 Formal systems Euclidean geometry Axiom David Hilbert Mathematical proof Geometry Model theory Proof theory Theorem Mathematics Logic Mathematical logic
323	SPASS-XDB goes Mathematical David Stanovsk´ y1 , Martin Suda2 , and Geoff Sutcliffe3 Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-01-12 07:27:42 Automated theorem proving Logic in computer science Formal methods Mathematical logic Axiom Automated reasoning SPASS Geoff Sutcliffe Mathematical proof Mathematics Theoretical computer science Mathematical software
324	Theo and Octopus at CASC-J3 Monty Newborn [removed] Add to Reading List Source URL: www.cs.mcgill.ca Language: English - Date: 2006-09-12 13:23:01 Mathematical logic Proof theory Formal methods Theorems Mathematical proof Resolution Vampire Proof Logic Mathematics Automated theorem proving
325	Complete Axiomatizations Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2010-06-28 17:11:11 Metalogic Model theory Formal languages Proof theory Quantifier elimination Unification Well-formed formula Decidability Term algebra Logic Mathematical logic Mathematics
326	INFERENTIALISM * draft * [removed] * Add to Reading List Source URL: www.jarda.peregrin.cz Language: English - Date: 2007-12-23 08:06:59** Semantics Philosophy of language Logical syntax Metalogic Inferential role semantics Robert Brandom Meaning Formal proof Truth Logic Philosophy Philosophical logic
327	Reports and Articles Social Processes and Proofs of Theorems Add to Reading List Source URL: www.csee.umbc.edu Language: English - Date: 2008-09-16 22:24:39 Formal methods Philosophy of mathematics Theoretical computer science Mathematical proof Formal verification Theorem Richard J. Lipton Algorithm Mathematical beauty Mathematics Logic Mathematical logic
328	Notes by David Groisser, Copyright c 1993, revised version[removed]Peano Axioms for the Natural Numbers Add to Reading List Source URL: www.math.ufl.edu Language: English - Date: 2001-09-06 10:32:21 Elementary mathematics Mathematical proofs Proof theory Formal systems Peano axioms Mathematical induction Number system Axiom Natural number Mathematics Mathematical logic Logic
329	Mathematical Problems Lecture delivered before the International Congress of Mathematicians at Paris in 1900 Add to Reading List Source URL: www.mat.uc.pt Language: English - Date: 2004-12-24 14:21:17 Formal systems Euclidean geometry Axiom Mathematical proof Model theory Proof theory David Hilbert Theorem Geometry Mathematics Logic Mathematical logic
330	Mathematical Linguistics ´s Kornai Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2002-07-09 07:49:28 Mathematical logic Axiom Mathematical proof Function Semantics Type theory Theory Formal system Set theory Logic Mathematics Science

UPDATE